Generation of Transition Class Models from Formal Queueing Network Descriptions

A main feature of a novel tool is described, the algorthmic translation of formal queueing network descriptions into transition class models. Transition classes are a highlevel modelling paradigm for the structured and compact definition of Markov chains. Transition class models can be solved with many known solution techniques for Markov chains, exact and approximate, and simulation, even hybrid analysis is possible. The queueing network description language and the translator are extensible with respect to new network features, for example new node types. The tool is extensible with respect to new modelling paradigms and new solvers. Models can be multi-paradigm.